Logics for Computer and Data Sciences, and Artificial Intelligence by Lech T. Polkowski

Author:Lech T. Polkowski
Language: eng
Format: epub, pdf
ISBN: 9783030916800
Publisher: Springer International Publishing

(iii)

the set of initial states ;

(iv)

the set of accepting states .

Let us observe that the demand that transitions in the synchronized product be possible under labels of parallel transitions of TS, forces the condition that any accepting run of B3 induces a path in TS which negates the condition ‘infinitely many times on’, i.e., TS does not satisfy it. For details please consult [10, 4.4]. In Table 5.6 the product is shown.

Table 5.4Transition system TS

States:

Transitions:

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.